Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
411	The Complexity of Tree Transducer Output Languages FSTTCS 2008, Bengaluru Kazuhiro Inaba Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-06-23 09:15:01 Models of computation Finite-state machine Regular language DSPACE Finite state transducer Theoretical computer science Automata theory Formal languages
412	Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp[removed]The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastia Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-11-17 09:02:18 Computer science Binary tree Computation tree Symbol Finite-state machine Non-deterministic Turing machine Automata theory Theoretical computer science Models of computation
413	TAGH: A Complete Morphology for German based on Weighted Finite State Automata - draft Alexander Geyken1 and Thomas Hanneforth2 1 Berlin-Brandenburg Academy of Sciences Add to Reading List Source URL: www.dwds.de Language: English - Date: 2013-07-25 05:18:39 Morphology Inflection Lexeme Grammatical gender Lexicon Affix Nominalization Linguistics Grammar Linguistic morphology
414	ISSN[removed]Overload Journal of the ACCU C++ Special Interest Group Issue 24 Add to Reading List Source URL: accu.org Language: English - Date: 2010-10-21 16:24:02 Infographics Software engineering Information science Communication design Automata theory State diagram Finite-state machine Unified Modeling Language Event UML diagrams Models of computation Diagrams
415	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
416	Structural Design Using Cellular Automata by Douglas J. Slotta Thesis submitted to the Faculty of the Virginia Polytechnic Institute and State University in partial fulfillment of the requirements for the degree of Add to Reading List Source URL: scholar.lib.vt.edu Language: English - Date: 2001-06-01 10:22:45 Mathematical analysis Finite element method Cellular automaton Truss Structural analysis Gauss–Seidel method Numerical analysis Mathematics Cellular automata
417	Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-02 15:04:33 Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science
418	Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:36:01 Computer science Finite-state machine Nondeterministic finite automaton Powerset construction Nested word Automata theory Theoretical computer science Models of computation
419	Lost in Translation: Forgetful Semantic Anchoring Daniel Balasubramanian Vanderbilt University Institute for Software Integrated Systems Nashville, TN Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2012-05-01 10:13:00 Automata theory Computer science Finite-state machine SIGNAL Dataflow Meta-Object Facility Synchronous programming language Formal language Models of computation Software engineering Computing
420	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:57:01 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory

UPDATE